int debugPrintf(const char *text, ...);